Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology

Source URL: mally.stanford.edu

• Logic
• Philosophy
• Mathematics
• Category theory
• Model theory
• Functions and mappings
• Universal property
• Saul Kripke
• First-order logic
• Sheaf
• Function
• Substitution

TYPES ARE WEAK ω-GROUPOIDS BENNO VAN DEN BERG AND RICHARD GARNER Abstract. We define a notion of weak ω-category internal to a model of Martin-L¨ of type theory, and prove that each type bears a canonical weak ω-cate

Source URL: staff.fnwi.uva.nl

F.O.B. CHARGE **This price list only apply to goods at Yokohama, Kobe & Hakata port. CATEGORY MODEL

Source URL: www.greenauction.jp

FebruaryFLTA Innovation Award for Aisle-Master Articulated forklift manufacturer Aisle-Master has won the Innovation category at this year’s UK FLTA’s Awards for Excellence for its new cold store model. In a h

Source URL: www.aisle-master.com

A Neurodynamical Model of Context-Dependent Category Learning Laxmi R. Iyer and Ali A. Minai, Senior Member, IEEE Abstract—The abstraction of patterns from data and the formation of categories is a hallmark of human co

Source URL: www.ece.uc.edu

S.H Horikawa – Star Strider Robot (スターストライダーロボット) – Front

Source URL: www.akbc.ws

• Structure
• Order theory
• Category theory
• Differential topology
• Embedding
• General topology
• Mathematics
• Model theory
• Topology

Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan

Source URL: www.kurims.kyoto-u.ac.jp

• Category theory
• Adjoint functors
• Model theory
• Semigroup theory
• Algebraic structures
• Monoid
• Monad
• Symbol
• Parity of a permutation
• Mathematics
• Abstract algebra
• Algebra

Tabula Rasa: Model Transfer for Object Category Detection Yusuf Aytar Andrew Zisserman Department of Engineering Science University of Oxford {yusuf,az}@robots.ox.ac.uk

Source URL: www.robots.ox.ac.uk

• Statistical classification
• Computer vision
• Support vector machine
• Learning
• Histogram of oriented gradients
• Silicon Valley Microelectronics
• One-shot learning
• Stochastic gradient descent
• Hinge loss
• Machine learning
• Statistics
• Artificial intelligence

Evaluation of Output Embeddings for Fine-Grained Image Classification Zeynep Akata∗ , Scott Reed† , Daniel Walter† , Honglak Lee† and Bernt Schiele∗ ∗ Computer Vision and Multimodal Computing Max Planck Insti

Source URL: www-personal.umich.edu

• Topology
• Maps of manifolds
• Model theory
• Category theory
• Differential topology
• Embedding
• WordNet
• Monotonic function
• Mathematical analysis
• Mathematics
• Order theory

Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a

Source URL: users.cs.cf.ac.uk

• Knowledge representation
• Data management
• Computing
• Software engineering
• Equivalence of categories
• Spatial database
• Geographic information system
• Object
• Data model
• Database management systems
• Category theory
• Object-oriented programming